MacNeille transferability and stable classes of Heyting algebras
نویسندگان
چکیده
منابع مشابه
Macneille Transferability and Stable Classes of Heyting Algebras
A lattice P is transferable for a class of lattices K if whenever P can be embedded into the ideal lattice IK of some K ∈ K, then P can be embedded into K. There is a rich theory of transferability for lattices. Here we introduce the analogous notion of MacNeille transferability, replacing the ideal lattice IK with the MacNeille completion K. Basic properties of MacNeille transferability are de...
متن کاملMacneille Completions of Heyting Algebras
In this note we provide a topological description of the MacNeille completion of a Heyting algebra similar to the description of the MacNeille completion of a Boolean algebra in terms of regular open sets of its Stone space. We also show that the only varieties of Heyting algebras that are closed under MacNeille completions are the trivial variety, the variety of all Boolean algebras, and the v...
متن کاملDualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
This paper focuses on the equational class S„ of Brouwerian algebras and the equational class L„ of Heyting algebras generated by an »-element chain. Firstly, duality theories are developed for these classes. Next, the projectives in the dual categories are determined, and then, by applying the dualities, the injectives and absolute subretracts in Sn and L„ are characterized. Finally, free prod...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملProfinite Heyting Algebras and Profinite Completions of Heyting Algebras
This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2018
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-018-0534-8